A Behavioural Theory of First-Order CML

نویسندگان

  • William Ferreira
  • Matthew Hennessy
چکیده

We investigate a number of semantic issues which arise, when a language of expressions such as ML, is augmented with constructs for communication and concurrency, as is the case with CML. We construct a simple language of first-order expressions, which includes an operator let.. = . . .in.. .end to provide a form of sequentialisation and a simple form of abstraction, communication constructs, and a spawn operator, for expressing concurrency. We construct an operational semantics for the language, which ensures that a number of natural laws for the let operator hold. In addition we provide a testing semantics for the language, and show how a fully abstract model for the resulting testing preorder, can be constructed from a variation of Accrptanc.e Trees. @ 1999-Elsevier Science B.V. All rights reserved KeylYar& CML; Values; Operational semantics; Testing semantics; Denotational model; Full abstraction; Monads

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Effect of a Training Program Based on the Theory of Planned Behaviour (TPB) on Sexual High-Risk Behavioural Intentions in Female Prisonors, Vakil Abad Prison, Mashhad, Iran, 2013

Background and Aims: High-risk sexual behaviors are of the most important risky behaviours in the area of sexual and reproductive health. It seems that educational programs based on health behavioural change theories are of the most basic measures in prevention of social damages. Therefore, the present study was carried out to determine the effect of a training...

متن کامل

Towards a Semantic Theory of CML

A simple untyped language based on CML, Concurrent ML, is deened and analysed. The language contains a spawn operator for initiating new independent threads of computation and constructs for the exchange of data between these threads. A denotational model for the language is presented where denotations correspond to computations of values rather than simply values. It is shown to be fully abstr...

متن کامل

Response Determination of a Beam with Moderately Large Deflection Under Transverse Dynamic Load Using First Order Shear Deformation Theory

In the presented paper, the governing equations of a vibratory beam with moderately large deflection are derived using the first order shear deformation theory. The beam is homogenous, isotropic and it is subjected to the dynamic transverse and axial loads. The kinematic of the problem is according to the Von-Karman strain-displacement relations and the Hook's law is used as the constitutive eq...

متن کامل

Ranking Effective Behavioural Factors Affecting Non –compliance in Business Tax from the Professional Perspective

The country's tax system has always faced many challenges in the business sector, and various factors have caused lack of tax compliance in this sector. In this research, the identification and ranking of effective behavioural factors affecting non-compliance of business tax has been pursued with the aim[1] of answering the question that " what are the most important factors affecting the non-c...

متن کامل

Free Vibration and Buckling Analysis of Sandwich Panels with Flexible Cores Using an Improved Higher Order Theory

In this paper, the behavior of free vibrations and buckling of the sandwich panel with a flexible core was investigated using a new improved ‎high-order sandwich panel theory. In this theory, equations of motion were formulated based on shear stresses in the core. First-order shear deformation theory was ‎applied for the procedures. In this theory, for the first time, incompatibility problem of...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Theor. Comput. Sci.

دوره 216  شماره 

صفحات  -

تاریخ انتشار 1999